
> val it : unit = ()

> > val repeatId : string = "A"

> val repeatId : string = "B"

namespace FSI_0005
  val x1 : int
  val x2 : string
  val x3 : 'a option
  val x4 : int option
  val x5 : 'a list
  val x6 : int list
  val x7 : System.Windows.Forms.Form
  val x8 : int [,]
  val x9 : Lazy<string>

namespace FSI_0006
  val x1 : int
  val x2 : string
  val x3 : 'a option
  val x4 : int option
  val x5 : 'a list
  val x6 : int list
  val x7 : System.Windows.Forms.Form
  val x8 : int [,]
  val x9 : Lazy<string>

namespace FSI_0006
  val x1 : int
  val x2 : string
  val x3 : 'a option
  val x4 : int option
  val x5 : 'a list
  val x6 : int list
  val x7 : System.Windows.Forms.Form
  val x8 : int [,]
  val x9 : Lazy<string>

> val x1 : seq<string>
val x2 : seq<string>
val x3 : seq<string>
val f1 : System.Windows.Forms.Form = System.Windows.Forms.Form, Text: f1 form
val fs : System.Windows.Forms.Form [] =
  [|System.Windows.Forms.Form, Text: fs #0;
    System.Windows.Forms.Form, Text: fs #1;
    System.Windows.Forms.Form, Text: fs #2;
    System.Windows.Forms.Form, Text: fs #3;
    System.Windows.Forms.Form, Text: fs #4;
    System.Windows.Forms.Form, Text: fs #5;
    System.Windows.Forms.Form, Text: fs #6;
    System.Windows.Forms.Form, Text: fs #7;
    System.Windows.Forms.Form, Text: fs #8;
    System.Windows.Forms.Form, Text: fs #9;
    System.Windows.Forms.Form, Text: fs #10;
    System.Windows.Forms.Form, Text: fs #11;
    System.Windows.Forms.Form, Text: fs #12;
    System.Windows.Forms.Form, Text: fs #13;
    System.Windows.Forms.Form, Text: fs #14;
    System.Windows.Forms.Form, Text: fs #15;
    System.Windows.Forms.Form, Text: fs #16;
    System.Windows.Forms.Form, Text: fs #17;
    System.Windows.Forms.Form, Text: fs #18;
    System.Windows.Forms.Form, Text: fs #19;
    System.Windows.Forms.Form, Text: fs #20;
    System.Windows.Forms.Form, Text: fs #21;
    System.Windows.Forms.Form, Text: fs #22;
    System.Windows.Forms.Form, Text: fs #23;
    System.Windows.Forms.Form, Text: fs #24;
    System.Windows.Forms.Form, Text: fs #25;
    System.Windows.Forms.Form, Text: fs #26;
    System.Windows.Forms.Form, Text: fs #27;
    System.Windows.Forms.Form, Text: fs #28;
    System.Windows.Forms.Form, Text: fs #29;
    System.Windows.Forms.Form, Text: fs #30;
    System.Windows.Forms.Form, Text: fs #31;
    System.Windows.Forms.Form, Text: fs #32;
    System.Windows.Forms.Form, Text: fs #33;
    System.Windows.Forms.Form, Text: fs #34;
    System.Windows.Forms.Form, Text: fs #35;
    System.Windows.Forms.Form, Text: fs #36;
    System.Windows.Forms.Form, Text: fs #37;
    System.Windows.Forms.Form, Text: fs #38;
    System.Windows.Forms.Form, Text: fs #39;
    System.Windows.Forms.Form, Text: fs #40;
    System.Windows.Forms.Form, Text: fs #41;
    System.Windows.Forms.Form, Text: fs #42;
    System.Windows.Forms.Form, Text: fs #43;
    System.Windows.Forms.Form, Text: fs #44;
    System.Windows.Forms.Form, Text: fs #45;
    System.Windows.Forms.Form, Text: fs #46;
    System.Windows.Forms.Form, Text: fs #47;
    System.Windows.Forms.Form, Text: fs #48;
    System.Windows.Forms.Form, Text: fs #49;
    System.Windows.Forms.Form, Text: fs #50;
    System.Windows.Forms.Form, Text: fs #51;
    System.Windows.Forms.Form, Text: fs #52;
    System.Windows.Forms.Form, Text: fs #53;
    System.Windows.Forms.Form, Text: fs #54;
    System.Windows.Forms.Form, Text: fs #55;
    System.Windows.Forms.Form, Text: fs #56;
    System.Windows.Forms.Form, Text: fs #57;
    System.Windows.Forms.Form, Text: fs #58;
    System.Windows.Forms.Form, Text: fs #59;
    System.Windows.Forms.Form, Text: fs #60;
    System.Windows.Forms.Form, Text: fs #61;
    System.Windows.Forms.Form, Text: fs #62;
    System.Windows.Forms.Form, Text: fs #63;
    System.Windows.Forms.Form, Text: fs #64;
    System.Windows.Forms.Form, Text: fs #65;
    System.Windows.Forms.Form, Text: fs #66;
    System.Windows.Forms.Form, Text: fs #67;
    System.Windows.Forms.Form, Text: fs #68;
    System.Windows.Forms.Form, Text: fs #69;
    System.Windows.Forms.Form, Text: fs #70;
    System.Windows.Forms.Form, Text: fs #71;
    System.Windows.Forms.Form, Text: fs #72;
    System.Windows.Forms.Form, Text: fs #73;
    System.Windows.Forms.Form, Text: fs #74;
    System.Windows.Forms.Form, Text: fs #75;
    System.Windows.Forms.Form, Text: fs #76;
    System.Windows.Forms.Form, Text: fs #77;
    System.Windows.Forms.Form, Text: fs #78;
    System.Windows.Forms.Form, Text: fs #79;
    System.Windows.Forms.Form, Text: fs #80;
    System.Windows.Forms.Form, Text: fs #81;
    System.Windows.Forms.Form, Text: fs #82;
    System.Windows.Forms.Form, Text: fs #83;
    System.Windows.Forms.Form, Text: fs #84;
    System.Windows.Forms.Form, Text: fs #85;
    System.Windows.Forms.Form, Text: fs #86;
    System.Windows.Forms.Form, Text: fs #87;
    System.Windows.Forms.Form, Text: fs #88;
    System.Windows.Forms.Form, Text: fs #89;
    System.Windows.Forms.Form, Text: fs #90;
    System.Windows.Forms.Form, Text: fs #91;
    System.Windows.Forms.Form, Text: fs #92;
    System.Windows.Forms.Form, Text: fs #93;
    System.Windows.Forms.Form, Text: fs #94;
    System.Windows.Forms.Form, Text: fs #95;
    System.Windows.Forms.Form, Text: fs #96;
    System.Windows.Forms.Form, Text: fs #97;
    System.Windows.Forms.Form, Text: fs #98;
    System.Windows.Forms.Form, Text: fs #99; ...|]
val xs : string list =
  ["0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"; "8"; "9"; "10"; "11"; "12"; "13";
   "14"; "15"; "16"; "17"; "18"; "19"; "20"; "21"; "22"; "23"; "24"; "25";
   "26"; "27"; "28"; "29"; "30"; "31"; "32"; "33"; "34"; "35"; "36"; "37";
   "38"; "39"; "40"; "41"; "42"; "43"; "44"; "45"; "46"; "47"; "48"; "49";
   "50"; "51"; "52"; "53"; "54"; "55"; "56"; "57"; "58"; "59"; "60"; "61";
   "62"; "63"; "64"; "65"; "66"; "67"; "68"; "69"; "70"; "71"; "72"; "73";
   "74"; "75"; "76"; "77"; "78"; "79"; "80"; "81"; "82"; "83"; "84"; "85";
   "86"; "87"; "88"; "89"; "90"; "91"; "92"; "93"; "94"; "95"; "96"; "97";
   "98"; "99"; ...]
val xa : string [] =
  [|"0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"; "8"; "9"; "10"; "11"; "12"; "13";
    "14"; "15"; "16"; "17"; "18"; "19"; "20"; "21"; "22"; "23"; "24"; "25";
    "26"; "27"; "28"; "29"; "30"; "31"; "32"; "33"; "34"; "35"; "36"; "37";
    "38"; "39"; "40"; "41"; "42"; "43"; "44"; "45"; "46"; "47"; "48"; "49";
    "50"; "51"; "52"; "53"; "54"; "55"; "56"; "57"; "58"; "59"; "60"; "61";
    "62"; "63"; "64"; "65"; "66"; "67"; "68"; "69"; "70"; "71"; "72"; "73";
    "74"; "75"; "76"; "77"; "78"; "79"; "80"; "81"; "82"; "83"; "84"; "85";
    "86"; "87"; "88"; "89"; "90"; "91"; "92"; "93"; "94"; "95"; "96"; "97";
    "98"; "99"; ...|]
val xa2 : string [,] = [["0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"]
                        ["10"; "11"; "12"; "13"; "14"; "15"; "16"; "17"]
                        ["20"; "21"; "22"; "23"; "24"; "25"; "26"; "27"]
                        ["30"; "31"; "32"; "33"; "34"; "35"; "36"; "37"]
                        ["40"; "41"; "42"; "43"; "44"; "45"; "46"; "47"]
                        ["50"; "51"; "52"; "53"; "54"; "55"; "56"; "57"]
                        ["60"; "61"; "62"; "63"; "64"; "65"; "66"; "67"]
                        ["70"; "71"; "72"; "73"; "74"; "75"; "76"; "77"]]
val sxs0 : Set<string> = set []

> val sxs1 : Set<string> = set ["0"]

> val sxs2 : Set<string> = set ["0"; "1"]

> val sxs3 : Set<string> = set ["0"; "1"; "2"]

> val sxs4 : Set<string> = set ["0"; "1"; "2"; "3"]

> val sxs200 : Set<string> =
  set ["0"; "1"; "10"; "100"; "101"; "102"; "103"; "104"; "105"; ...]

> val msxs0 : Map<int,string> = map []

> val msxs1 : Map<int,string> = map [(0, "0")]

> val msxs2 : Map<int,string> = map [(0, "0"); (1, "1")]

> val msxs3 : Map<int,string> = map [(0, "0"); (1, "1"); (2, "2")]

> val msxs4 : Map<int,string> = map [(0, "0"); (1, "1"); (2, "2"); (3, "3")]

> val msxs200 : Map<int,string> =
  map
    [(0, "0"); (1, "1"); (2, "2"); (3, "3"); (4, "4"); (5, "5"); (6, "6");
     (7, "7"); (8, "8"); ...]

> module M = begin
  val a : string = "sub-binding"
  val b :
    (seq<string> * seq<string> * seq<string> * System.Windows.Forms.Form) option *
    (string list * string list * string [,]) option =
    (Some (<seq>, <seq>, <seq>, System.Windows.Forms.Form, Text: f1 form),
     Some
       (["0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"; "8"; "9"; "10"; "11"; "12";
         "13"; "14"; "15"; "16"; "17"; "18"; "19"; "20"; "21"; "22"; "23";
         "24"; "25"; "26"; "27"; "28"; "29"; "30"; "31"; "32"; "33"; "34";
         "35"; "36"; "37"; "38"; "39"; "40"; "41"; "42"; "43"; "44"; "45";
         "46"; "47"; "48"; "49"; "50"; "51"; "52"; "53"; "54"; "55"; "56";
         "57"; "58"; "59"; "60"; "61"; "62"; "63"; "64"; "65"; "66"; "67";
         "68"; "69"; "70"; "71"; "72"; "73"; "74"; "75"; "76"; "77"; "78";
         "79"; "80"; "81"; "82"; "83"; "84"; "85"; "86"; "87"; "88"; "89";
         "90"; "91"; "92"; "93"; "94"; "95"; "96"; ...], ..., ...))
end
type T =
  class
    new : a:int * b:int -> T
    member AMethod : x:int -> int
    member AProperty : int
    static member StaticMethod : x:int -> int
    static member StaticProperty : int
  end
val f_as_method : x:int -> int
val f_as_thunk : (int -> int)
val refCell : string ref = {contents = "value";}
module D1 = begin
  val words : System.Collections.Generic.IDictionary<string,int>
  val words2000 : System.Collections.Generic.IDictionary<int,string>
end

> > module D2 = begin
  val words : IDictionary<string,int>
  val words2000 : IDictionary<int,string>
end
val opt1 : 'a option
val opt1b : int option = None
val opt4 : 'a option option option option
val opt4b : int option option option option = Some (Some (Some None))
val opt5 : int list option option option option option list =
  [Some (Some (Some (Some None)));
   Some (Some (Some (Some (Some [1; 2; 3; 4; 5; 6]))));
   Some
     (Some
        (Some
           (Some
              (Some
                 [1; 2; 3; 4; 5; 6; 7; 8; 9; 0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 1;
                  2; 3; 4; 5; 6; 7; 8; 9; 1; 2; 3; 4; 5; 6; 7; 8; 9; 1; 2; 3;
                  4; 5; 6; 7; 8; 9; 1; 2; 3; 4; 5; 6; 7; 8; 9; 0]))))]
val mkStr : n:int -> string
val strs : string [] =
  [|""; "-"; "--"; "---"; "----"; "-----"; "------"; "-------"; "--------";
    "---------"; "----------"; "-----------"; "------------"; "-------------";
    "--------------"; "---------------"; "----------------";
    "-----------------"; "------------------"; "-------------------";
    "--------------------"; "---------------------"; "----------------------";
    "-----------------------"; "------------------------";
    "-------------------------"; "--------------------------";
    "---------------------------"; "----------------------------";
    "-----------------------------"; "------------------------------";
    "-------------------------------"; "--------------------------------";
    "---------------------------------"; "----------------------------------";
    "-----------------------------------";
    "------------------------------------";
    "-------------------------------------";
    "--------------------------------------";
    "---------------------------------------";
    "----------------------------------------";
    "-----------------------------------------";
    "------------------------------------------";
    "-------------------------------------------";
    "--------------------------------------------";
    "---------------------------------------------";
    "----------------------------------------------";
    "-----------------------------------------------";
    "------------------------------------------------";
    "-------------------------------------------------";
    "--------------------------------------------------";
    "---------------------------------------------------";
    "----------------------------------------------------";
    "-----------------------------------------------------";
    "------------------------------------------------------";
    "-------------------------------------------------------";
    "--------------------------------------------------------";
    "---------------------------------------------------------";
    "----------------------------------------------------------";
    "-----------------------------------------------------------";
    "------------------------------------------------------------";
    "-------------------------------------------------------------";
    "--------------------------------------------------------------";
    "---------------------------------------------------------------";
    "----------------------------------------------------------------";
    "-----------------------------------------------------------------";
    "------------------------------------------------------------------";
    "-------------------------------------------------------------------";
    "--------------------------------------------------------------------";
    "---------------------------------------------------------------------";
    "----------------------------------------------------------------------";
    "-----------------------------------------------------------------------";
    "------------------------------------------------------------------------";
    "-------------------------------------------------------------"+[12 chars];
    "-------------------------------------------------------------"+[13 chars];
    "-------------------------------------------------------------"+[14 chars];
    "-------------------------------------------------------------"+[15 chars];
    "-------------------------------------------------------------"+[16 chars];
    "-------------------------------------------------------------"+[17 chars];
    "-------------------------------------------------------------"+[18 chars];
    "-------------------------------------------------------------"+[19 chars];
    "-------------------------------------------------------------"+[20 chars];
    "-------------------------------------------------------------"+[21 chars];
    "-------------------------------------------------------------"+[22 chars];
    "-------------------------------------------------------------"+[23 chars];
    "-------------------------------------------------------------"+[24 chars];
    "-------------------------------------------------------------"+[25 chars];
    "-------------------------------------------------------------"+[26 chars];
    "-------------------------------------------------------------"+[27 chars];
    "-------------------------------------------------------------"+[28 chars];
    "-------------------------------------------------------------"+[29 chars];
    "-------------------------------------------------------------"+[30 chars];
    "-------------------------------------------------------------"+[31 chars];
    "-------------------------------------------------------------"+[32 chars];
    "-------------------------------------------------------------"+[33 chars];
    "-------------------------------------------------------------"+[34 chars];
    "-------------------------------------------------------------"+[35 chars];
    "-------------------------------------------------------------"+[36 chars];
    "-------------------------------------------------------------"+[37 chars];
    "-------------------------------------------------------------"+[38 chars];
    ...|]
val str7s : string [] =
  [|""; "-------"; "--------------"; "---------------------";
    "----------------------------"; "-----------------------------------";
    "------------------------------------------";
    "-------------------------------------------------";
    "--------------------------------------------------------";
    "---------------------------------------------------------------";
    "----------------------------------------------------------------------";
    "-------------------------------------------------------------"+[16 chars];
    "-------------------------------------------------------------"+[23 chars];
    "-------------------------------------------------------------"+[30 chars];
    "-------------------------------------------------------------"+[37 chars];
    "-------------------------------------------------------------"+[44 chars];
    "-------------------------------------------------------------"+[51 chars];
    "-------------------------------------------------------------"+[58 chars];
    "-------------------------------------------------------------"+[65 chars];
    "-------------------------------------------------------------"+[72 chars];
    "-------------------------------------------------------------"+[79 chars];
    "-------------------------------------------------------------"+[86 chars];
    "-------------------------------------------------------------"+[93 chars];
    "-------------------------------------------------------------"+[100 chars];
    "-------------------------------------------------------------"+[107 chars];
    "-------------------------------------------------------------"+[114 chars];
    "-------------------------------------------------------------"+[121 chars];
    "-------------------------------------------------------------"+[128 chars];
    "-------------------------------------------------------------"+[135 chars];
    "-------------------------------------------------------------"+[142 chars];
    "-------------------------------------------------------------"+[149 chars];
    "-------------------------------------------------------------"+[156 chars];
    "-------------------------------------------------------------"+[163 chars];
    "-------------------------------------------------------------"+[170 chars];
    "-------------------------------------------------------------"+[177 chars];
    "-------------------------------------------------------------"+[184 chars];
    "-------------------------------------------------------------"+[191 chars];
    "-------------------------------------------------------------"+[198 chars];
    "-------------------------------------------------------------"+[205 chars];
    "-------------------------------------------------------------"+[212 chars];
    "-------------------------------------------------------------"+[219 chars];
    "-------------------------------------------------------------"+[226 chars];
    "-------------------------------------------------------------"+[233 chars];
    "-------------------------------------------------------------"+[240 chars];
    "-------------------------------------------------------------"+[247 chars];
    "-------------------------------------------------------------"+[254 chars];
    "-------------------------------------------------------------"+[261 chars];
    "-------------------------------------------------------------"+[268 chars];
    "-------------------------------------------------------------"+[275 chars];
    "-------------------------------------------------------------"+[282 chars];
    "-------------------------------------------------------------"+[289 chars];
    "-------------------------------------------------------------"+[296 chars];
    "-------------------------------------------------------------"+[303 chars];
    "-------------------------------------------------------------"+[310 chars];
    "-------------------------------------------------------------"+[317 chars];
    "-------------------------------------------------------------"+[324 chars];
    "-------------------------------------------------------------"+[331 chars];
    "-------------------------------------------------------------"+[338 chars];
    "-------------------------------------------------------------"+[345 chars];
    "-------------------------------------------------------------"+[352 chars];
    "-------------------------------------------------------------"+[359 chars];
    "-------------------------------------------------------------"+[366 chars];
    "-------------------------------------------------------------"+[373 chars];
    "-------------------------------------------------------------"+[380 chars];
    "-------------------------------------------------------------"+[387 chars];
    "-------------------------------------------------------------"+[394 chars];
    "-------------------------------------------------------------"+[401 chars];
    "-------------------------------------------------------------"+[408 chars];
    "-------------------------------------------------------------"+[415 chars];
    "-------------------------------------------------------------"+[422 chars];
    "-------------------------------------------------------------"+[429 chars];
    "-------------------------------------------------------------"+[436 chars];
    "-------------------------------------------------------------"+[443 chars];
    "-------------------------------------------------------------"+[450 chars];
    "-------------------------------------------------------------"+[457 chars];
    "-------------------------------------------------------------"+[464 chars];
    "-------------------------------------------------------------"+[471 chars];
    "-------------------------------------------------------------"+[478 chars];
    "-------------------------------------------------------------"+[485 chars];
    "-------------------------------------------------------------"+[492 chars];
    "-------------------------------------------------------------"+[499 chars];
    "-------------------------------------------------------------"+[506 chars];
    "-------------------------------------------------------------"+[513 chars];
    "-------------------------------------------------------------"+[520 chars];
    "-------------------------------------------------------------"+[527 chars];
    "-------------------------------------------------------------"+[534 chars];
    "-------------------------------------------------------------"+[541 chars];
    "-------------------------------------------------------------"+[548 chars];
    "-------------------------------------------------------------"+[555 chars];
    "-------------------------------------------------------------"+[562 chars];
    "-------------------------------------------------------------"+[569 chars];
    "-------------------------------------------------------------"+[576 chars];
    "-------------------------------------------------------------"+[583 chars];
    "-------------------------------------------------------------"+[590 chars];
    "-------------------------------------------------------------"+[597 chars];
    "-------------------------------------------------------------"+[604 chars];
    "-------------------------------------------------------------"+[611 chars];
    "-------------------------------------------------------------"+[618 chars];
    "-------------------------------------------------------------"+[625 chars];
    "-------------------------------------------------------------"+[632 chars];
    ...|]
val grids : string [,] =
  [[""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; "";
    ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; "";
    ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""; ""]
   [""; "-"; "--"; "---"; "----"; "-----"; "------"; "-------"; "--------";
    "---------"; "----------"; "-----------"; "------------"; "-------------";
    "--------------"; "---------------"; "----------------";
    "-----------------"; "------------------"; "-------------------";
    "--------------------"; "---------------------"; "----------------------";
    "-----------------------"; "------------------------";
    "-------------------------"; "--------------------------";
    "---------------------------"; "----------------------------";
    "-----------------------------"; "------------------------------";
    "-------------------------------"; "--------------------------------";
    "---------------------------------"; "----------------------------------";
    "-----------------------------------";
    "------------------------------------";
    "-------------------------------------";
    "--------------------------------------";
    "---------------------------------------";
    "----------------------------------------";
    "-----------------------------------------";
    "------------------------------------------";
    "-------------------------------------------";
    "--------------------------------------------";
    "---------------------------------------------";
    "----------------------------------------------";
    "-----------------------------------------------";
    "------------------------------------------------";
    "-------------------------------------------------"; ...]
   ...]

> type tree =
  | L
  | N of tree list
val mkT : w:int -> d:int -> tree
val tree : w:int -> d:int -> tree

> [Building 2 4...done]
val tree_2_4 : tree =
  N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
     N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]]

> [Building 2 6...done]
val tree_2_6 : tree =
  N [N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
           N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
        N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
           N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]]];
     N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
           N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
        N [N [N [N ...; ...]; ...]; ...]; ...]; ...]

> [Building 2 8...done]
val tree_2_8 : tree =
  N [N [N [N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                 N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
              N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                 N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]]];
           N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                 N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
              N [N ...; ...]; ...]; ...]; ...]; ...]

> [Building 2 10...done]
val tree_2_10 : tree =
  N [N [N [N [N [N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                       N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
                    N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                       N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]]];
                 N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                       N [N [N [L; L]; N [L; L]];
                          N [N [L; L]; N [L; L; ...]; ...]; ...]; ...]; ...];
                 ...]; ...]; ...]; ...]; ...]

> [Building 2 12...done]
val tree_2_12 : tree =
  N [N [N [N [N [N [N [N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                             N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]];
                          N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                             N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]]]];
                       N [N [N [N [N [L; L]; N [L; L]]; N [N [L; L]; N [L; L]]];
                             N [N [N [L; L]; N [L; L]];
                                N [N [L; L]; N ...; ...]; ...]; ...]; ...];
                       ...]; ...]; ...]; ...]; ...]; ...]; ...]

> [Building 2 14...done]
val tree_2_14 : tree =
  N [N [N [N [N [N [N [N [N [N [N [N [N [N [L; L]; N [L; L]];
                                      N [N [L; L]; N [L; L]]];
                                   N [N [N [L; L]; N [L; L]];
                                      N [N [L; L]; N [L; L]]]];
                                N [N [N [N [L; L]; N [L; L]];
                                      N [N [L; L]; N [L; L]]];
                                   N [N [N [L; L]; N [L; L]];
                                      N [N [L; L]; N [L; L]]]]];
                             N [N [N [N [N [L; L]; N [L; L]];
                                      N [N [L; L]; N [L; L]]];
                                   N [N [N [L; L]; N [L; L]];
                                      N [N [L; ...]; ...]; ...]; ...]; ...];
                             ...]; ...]; ...]; ...]; ...]; ...]; ...]; ...];
     ...]

> [Building 3 8...done]
val tree_3_8 : tree =
  N [N [N [N [N [N [N [N [L; L; L]; N [L; L; L]; N [L; L; L]];
                    N [N [L; L; L]; N [L; L; L]; N [L; L; L]];
                    N [N [L; L; L]; N [L; L; L]; N [L; L; L]]];
                 N [N [N [L; L; L]; N [L; L; L]; N [L; L; L]];
                    N [N [L; L; L]; N [L; L; L]; N [L; L; L]];
                    N [N [L; L; L]; N [L; L; L]; N [L; L; L]]];
                 N [N [N [L; L; L]; N [L; L; L]; N [L; L; L]]; N ...; ...];
                 ...]; ...]; ...]; ...]; ...]

> [Building 4 8...done]
val tree_4_8 : tree =
  N [N [N [N [N [N [N [N [L; L; L; L]; N [L; L; L; L]; N [L; L; L; L];
                       N [L; L; L; L]];
                    N [N [L; L; L; L]; N [L; L; L; L]; N [L; L; L; L];
                       N [L; L; L; L]];
                    N [N [L; L; L; L]; N [L; L; L; L]; N [L; L; L; L];
                       N [L; L; L; L]];
                    N [N [L; L; L; L]; N [L; L; L; L]; N [L; L; L; L];
                       N [L; L; L; L]]];
                 N [N [N [L; L; L; L]; N [L; L; ...]; ...]; ...]; ...]; ...];
           ...]; ...]; ...]

> [Building 5 8...done]
val tree_5_8 : tree =
  N [N [N [N [N [N [N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
                       N [L; L; L; L; L]; N [L; L; L; L; L]];
                    N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
                       N [L; L; L; L; L]; N [L; L; L; L; L]];
                    N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
                       N [L; L; L; L; L]; N [L; L; L; L; L]]; N ...; ...]; ...];
              ...]; ...]; ...]; ...]

> [Building 6 8...done]
val tree_6_8 : tree =
  N [N [N [N [N [N [N [N [L; L; L; L; L; L]; N [L; L; L; L; L; L];
                       N [L; L; L; L; L; L]; N [L; L; L; L; L; L];
                       N [L; L; L; L; L; L]; N [L; L; L; L; L; L]];
                    N [N [L; L; L; L; L; L]; N [L; L; L; L; L; L];
                       N [L; L; L; L; L; L]; N [L; L; L; L; L; L];
                       N [L; L; L; L; L; L]; N [L; L; L; L; L; L]];
                    N [N [L; L; L; L; L; L; ...]; ...]; ...]; ...]; ...]; ...];
        ...]; ...]

> [Building 5 3...done]
val tree_5_3 : tree =
  N [N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
        N [L; L; L; L; L]; N [L; L; L; L; L]];
     N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
        N [L; L; L; L; L]; N [L; L; L; L; L]];
     N [N [L; L; L; L; L]; N [L; L; L; L; L]; N [L; L; L; L; L];
        N [L; L; L; L; L]; N [L; L; L; L; L]]; N [N [L; L; L; L; ...]; ...];
     ...]

> > type X =
  | Var of int
  | Bop of int * X * X
val generate : x:int -> X

> val exps : X list =
  [Bop (1,Var 0,Var 0); Var 2; Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0));
   Var 4; Bop (5,Var 2,Bop (1,Var 0,Var 0)); Var 6;
   Bop (7,Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0)),Var 2); Var 8;
   Bop (9,Var 4,Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0))); Var 10;
   Bop
     (213,Var 106,
      Bop
        (71,
         Bop
           (35,Bop (17,Var 8,Bop (5,Var 2,Bop (1,Var 0,Var 0))),
            Bop (11,...,...)),...)); ...]

> module Exprs = begin
  val x1 : X =
    Bop
      (213,Var 106,
       Bop
         (71,
          Bop
            (35,Bop (17,Var 8,Bop (5,Var 2,Bop (1,Var 0,Var 0))),
             Bop
               (11,Bop (5,Var 2,Bop (1,Var 0,Var 0)),
                Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0)))),
          Bop
            (23,
             Bop
               (11,Bop (5,Var 2,Bop (1,Var 0,Var 0)),
                Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0))),
             Bop (7,Bop (3,Bop (1,Var 0,Var 0),Bop (1,Var 0,Var 0)),Var 2))))
  val x2 : X = Var 21342314
  val x3 : X = Var 3214
  val x4 : X = Bop (1231357,Var 615678,Var 410452)
  val x5 : X =
    Bop
      (5234547,Bop (2617273,Var 1308636,Var 872424),
       Bop (1744849,Var 872424,Var 581616))
  val x6 : X =
    Bop (923759825,Var 461879912,Bop (307919941,Var 153959970,Var 102639980))
  val x7 : X = Var 2435234
  val x8 : X =
    Bop
      (12396777,Var 6198388,
       Bop
         (4132259,
          Bop
            (2066129,Var 1033064,
             Bop
               (688709,Var 344354,
                Bop
                  (229569,Var 114784,
                   Bop
                     (76523,
                      Bop
                        (38261,Var 19130,
                         Bop
                           (12753,Var 6376,
                            Bop
                              (4251,Bop (2125,Var 1062,Var 708),
                               Bop (1417,Var 708,Var 472)))),
                      Bop
                        (25507,
                         Bop
                           (12753,Var 6376,
                            Bop
                              (4251,Bop (2125,Var 1062,Var 708),
                               Bop (1417,Var 708,Var 472))),Var 8502))))),
          Bop
            (1377419,
             Bop
               (688709,Var 344354,
                Bop
                  (229569,Var 114784,
                   Bop
                     (76523,
                      Bop
                        (38261,Var 19130,
                         Bop
                           (12753,Var 6376,
                            Bop
                              (4251,Bop (2125,Var 1062,Var 708),
                               Bop (1417,Var 708,Var 472)))),
                      Bop (25507,...,...)))),...)))
  val x9 : X =
    Bop
      (3333333,Var 1666666,
       Bop
         (1111111,
          Bop
            (555555,Bop (277777,Var 138888,Var 92592),
             Bop (185185,Var 92592,Var 61728)),Var 370370))
  val x10 : X =
    Bop
      (1312311237,Var 656155618,
       Bop
         (437437079,
          Bop
            (218718539,
             Bop
               (109359269,Var 54679634,
                Bop
                  (36453089,Var 18226544,
                   Bop
                     (12151029,Var 6075514,
                      Bop
                        (4050343,
                         Bop
                           (2025171,Bop (1012585,Var 506292,Var 337528),
                            Bop
                              (675057,Var 337528,
                               Bop
                                 (225019,
                                  Bop
                                    (112509,Var 56254,
                                     Bop
                                       (37503,
                                        Bop
                                          (18751,
                                           Bop
                                             (9375,
                                              Bop
                                                (4687,
                                                 Bop
                                                   (2343,
                                                    Bop
                                                      (1171,
                                                       Bop
                                                         (585,Var 292,
                                                          Bop
                                                            (195,
                                                             Bop
                                                               (97,Var 48,
                                                                Var 32),
                                                             Bop
                                                               (65,Var 32,
                                                                Bop
                                                                  (21,Var 10,
                                                                   Bop
                                                                     (7,
                                                                      Bop
                                                                        (3,
                                                                         Bop
                                                                           (1,
                                                                            Var
                                                                              0,
                                                                            Var
                                                                              0),
                                                                         Bop
                                                                           (1,
                                                                            Var
                                                                              0,
                                                                            Var
                                                                              0)),
                                                                      Var 2))))),
                                                       Var 390),
                                                    Bop (781,Var 390,Var 260)),
                                                 Var 1562),...),...),...)),...))),
                         ...)))),...),...))
  val x11 : X =
    Bop
      (2147483647,
       Bop
         (1073741823,
          Bop
            (536870911,
             Bop
               (268435455,
                Bop
                  (134217727,
                   Bop
                     (67108863,
                      Bop
                        (33554431,
                         Bop
                           (16777215,
                            Bop
                              (8388607,
                               Bop
                                 (4194303,
                                  Bop
                                    (2097151,
                                     Bop
                                       (1048575,
                                        Bop
                                          (524287,
                                           Bop
                                             (262143,
                                              Bop
                                                (131071,
                                                 Bop
                                                   (65535,
                                                    Bop
                                                      (32767,
                                                       Bop
                                                         (16383,
                                                          Bop
                                                            (8191,
                                                             Bop
                                                               (4095,
                                                                Bop
                                                                  (2047,
                                                                   Bop
                                                                     (1023,
                                                                      Bop
                                                                        (511,
                                                                         Bop
                                                                           (255,
                                                                            Bop
                                                                              (127,
                                                                               Bop
                                                                                 (63,
                                                                                  Bop
                                                                                    (31,
                                                                                     Bop
                                                                                       (15,
                                                                                        Bop
                                                                                          (7,
                                                                                           Bop
                                                                                             (3,
                                                                                              Bop
                                                                                                (1,
                                                                                                 Var
                                                                                                   0,
                                                                                                 Var
                                                                                                   0),
                                                                                              Bop
                                                                                                (1,
                                                                                                 Var
                                                                                                   0,
                                                                                                 Var
                                                                                                   0)),
                                                                                           Var
                                                                                             2),
                                                                                        Bop
                                                                                          (5,
                                                                                           Var
                                                                                             2,
                                                                                           Bop
                                                                                             (1,
                                                                                              Var
                                                                                                0,
                                                                                              Var
                                                                                                0))),
                                                                                     Var
                                                                                       10),
                                                                                  Bop
                                                                                    (21,
                                                                                     Var
                                                                                       10,
                                                                                     Bop
                                                                                       (7,
                                                                                        Bop
                                                                                          (3,
                                                                                           Bop
                                                                                             (1,
                                                                                              Var
                                                                                                0,
                                                                                              Var
                                                                                                0),
                                                                                           ...),
                                                                                        ...))),
                                                                               ...),
                                                                            ...),
                                                                         ...),
                                                                      ...),...),
                                                                ...),...),...),
                                                       ...),...),...),...),...),
                                        ...),...),...),...),...),...),...),...),
                ...),...),...),...)
end

> type C =
  class
    new : x:string -> C
    override ToString : unit -> string
  end
val c1 : C = <ToString exception: Trouble_A>
val csA : C [] =
  [|<ToString exception: Trouble_0>; <ToString exception: Trouble_1>;
    <ToString exception: Trouble_2>; <ToString exception: Trouble_3>;
    <ToString exception: Trouble_4>; <ToString exception: Trouble_5>;
    <ToString exception: Trouble_6>; <ToString exception: Trouble_7>;
    <ToString exception: Trouble_8>; <ToString exception: Trouble_9>;
    <ToString exception: Trouble_10>; <ToString exception: Trouble_11>;
    <ToString exception: Trouble_12>; <ToString exception: Trouble_13>;
    <ToString exception: Trouble_14>; <ToString exception: Trouble_15>;
    <ToString exception: Trouble_16>; <ToString exception: Trouble_17>;
    <ToString exception: Trouble_18>; <ToString exception: Trouble_19>;
    <ToString exception: Trouble_20>; <ToString exception: Trouble_21>;
    <ToString exception: Trouble_22>; <ToString exception: Trouble_23>;
    <ToString exception: Trouble_24>; <ToString exception: Trouble_25>;
    <ToString exception: Trouble_26>; <ToString exception: Trouble_27>;
    <ToString exception: Trouble_28>; <ToString exception: Trouble_29>;
    <ToString exception: Trouble_30>; <ToString exception: Trouble_31>;
    <ToString exception: Trouble_32>; <ToString exception: Trouble_33>;
    <ToString exception: Trouble_34>; <ToString exception: Trouble_35>;
    <ToString exception: Trouble_36>; <ToString exception: Trouble_37>;
    <ToString exception: Trouble_38>; <ToString exception: Trouble_39>;
    <ToString exception: Trouble_40>; <ToString exception: Trouble_41>;
    <ToString exception: Trouble_42>; <ToString exception: Trouble_43>;
    <ToString exception: Trouble_44>; <ToString exception: Trouble_45>;
    <ToString exception: Trouble_46>; <ToString exception: Trouble_47>;
    <ToString exception: Trouble_48>; <ToString exception: Trouble_49>;
    <ToString exception: Trouble_50>; <ToString exception: Trouble_51>;
    <ToString exception: Trouble_52>; <ToString exception: Trouble_53>;
    <ToString exception: Trouble_54>; <ToString exception: Trouble_55>;
    <ToString exception: Trouble_56>; <ToString exception: Trouble_57>;
    <ToString exception: Trouble_58>; <ToString exception: Trouble_59>;
    <ToString exception: Trouble_60>; <ToString exception: Trouble_61>;
    <ToString exception: Trouble_62>; <ToString exception: Trouble_63>;
    <ToString exception: Trouble_64>; <ToString exception: Trouble_65>;
    <ToString exception: Trouble_66>; <ToString exception: Trouble_67>;
    <ToString exception: Trouble_68>; <ToString exception: Trouble_69>;
    <ToString exception: Trouble_70>; <ToString exception: Trouble_71>;
    <ToString exception: Trouble_72>; <ToString exception: Trouble_73>;
    <ToString exception: Trouble_74>; <ToString exception: Trouble_75>;
    <ToString exception: Trouble_76>; <ToString exception: Trouble_77>;
    <ToString exception: Trouble_78>; <ToString exception: Trouble_79>;
    <ToString exception: Trouble_80>; <ToString exception: Trouble_81>;
    <ToString exception: Trouble_82>; <ToString exception: Trouble_83>;
    <ToString exception: Trouble_84>; <ToString exception: Trouble_85>;
    <ToString exception: Trouble_86>; <ToString exception: Trouble_87>;
    <ToString exception: Trouble_88>; <ToString exception: Trouble_89>;
    <ToString exception: Trouble_90>; <ToString exception: Trouble_91>;
    <ToString exception: Trouble_92>; <ToString exception: Trouble_93>;
    <ToString exception: Trouble_94>; <ToString exception: Trouble_95>;
    <ToString exception: Trouble_96>; <ToString exception: Trouble_97>;
    <ToString exception: Trouble_98>; <ToString exception: Trouble_99>; ...|]
val csB : C [] =
  [|<ToString exception: Trouble_0>; <ToString exception: Trouble_1>;
    <ToString exception: Trouble_2>; <ToString exception: Trouble_3>;
    <ToString exception: Trouble_4>; <ToString exception: Trouble_5>;
    <ToString exception: Trouble_6>; <ToString exception: Trouble_7>;
    <ToString exception: Trouble_8>; <ToString exception: Trouble_9>;
    <ToString exception: Trouble_10>; <ToString exception: Trouble_11>;
    <ToString exception: Trouble_12>; <ToString exception: Trouble_13>;
    <ToString exception: Trouble_14>; <ToString exception: Trouble_15>;
    <ToString exception: Trouble_16>; <ToString exception: Trouble_17>;
    <ToString exception: Trouble_18>; <ToString exception: Trouble_19>;
    <ToString exception: Trouble_20>; <ToString exception: Trouble_21>;
    <ToString exception: Trouble_22>; <ToString exception: Trouble_23>;
    <ToString exception: Trouble_24>; <ToString exception: Trouble_25>;
    <ToString exception: Trouble_26>; <ToString exception: Trouble_27>;
    <ToString exception: Trouble_28>; <ToString exception: Trouble_29>;
    <ToString exception: Trouble_30>; <ToString exception: Trouble_31>;
    <ToString exception: Trouble_32>; <ToString exception: Trouble_33>;
    <ToString exception: Trouble_34>; <ToString exception: Trouble_35>;
    <ToString exception: Trouble_36>; <ToString exception: Trouble_37>;
    <ToString exception: Trouble_38>; <ToString exception: Trouble_39>;
    <ToString exception: Trouble_40>; <ToString exception: Trouble_41>;
    <ToString exception: Trouble_42>; <ToString exception: Trouble_43>;
    <ToString exception: Trouble_44>; <ToString exception: Trouble_45>;
    <ToString exception: Trouble_46>; <ToString exception: Trouble_47>;
    <ToString exception: Trouble_48>; <ToString exception: Trouble_49>;
    <ToString exception: Trouble_50>; <ToString exception: Trouble_51>;
    <ToString exception: Trouble_52>; <ToString exception: Trouble_53>;
    <ToString exception: Trouble_54>; <ToString exception: Trouble_55>;
    <ToString exception: Trouble_56>; <ToString exception: Trouble_57>;
    <ToString exception: Trouble_58>; <ToString exception: Trouble_59>;
    <ToString exception: Trouble_60>; <ToString exception: Trouble_61>;
    <ToString exception: Trouble_62>; <ToString exception: Trouble_63>;
    <ToString exception: Trouble_64>; <ToString exception: Trouble_65>;
    <ToString exception: Trouble_66>; <ToString exception: Trouble_67>;
    <ToString exception: Trouble_68>; <ToString exception: Trouble_69>;
    <ToString exception: Trouble_70>; <ToString exception: Trouble_71>;
    <ToString exception: Trouble_72>; <ToString exception: Trouble_73>;
    <ToString exception: Trouble_74>; <ToString exception: Trouble_75>;
    <ToString exception: Trouble_76>; <ToString exception: Trouble_77>;
    <ToString exception: Trouble_78>; <ToString exception: Trouble_79>;
    <ToString exception: Trouble_80>; <ToString exception: Trouble_81>;
    <ToString exception: Trouble_82>; <ToString exception: Trouble_83>;
    <ToString exception: Trouble_84>; <ToString exception: Trouble_85>;
    <ToString exception: Trouble_86>; <ToString exception: Trouble_87>;
    <ToString exception: Trouble_88>; <ToString exception: Trouble_89>;
    <ToString exception: Trouble_90>; <ToString exception: Trouble_91>;
    <ToString exception: Trouble_92>; <ToString exception: Trouble_93>;
    <ToString exception: Trouble_94>; <ToString exception: Trouble_95>;
    <ToString exception: Trouble_96>; <ToString exception: Trouble_97>;
    <ToString exception: Trouble_98>; <ToString exception: Trouble_99>; ...|]
val csC : C [] =
  [|<ToString exception: Trouble_0>; <ToString exception: Trouble_1>;
    <ToString exception: Trouble_2>; <ToString exception: Trouble_3>;
    <ToString exception: Trouble_4>; <ToString exception: Trouble_5>;
    <ToString exception: Trouble_6>; <ToString exception: Trouble_7>;
    <ToString exception: Trouble_8>; <ToString exception: Trouble_9>;
    <ToString exception: Trouble_10>; <ToString exception: Trouble_11>;
    <ToString exception: Trouble_12>; <ToString exception: Trouble_13>;
    <ToString exception: Trouble_14>; <ToString exception: Trouble_15>;
    <ToString exception: Trouble_16>; <ToString exception: Trouble_17>;
    <ToString exception: Trouble_18>; <ToString exception: Trouble_19>;
    <ToString exception: Trouble_20>; <ToString exception: Trouble_21>;
    <ToString exception: Trouble_22>; <ToString exception: Trouble_23>;
    <ToString exception: Trouble_24>; <ToString exception: Trouble_25>;
    <ToString exception: Trouble_26>; <ToString exception: Trouble_27>;
    <ToString exception: Trouble_28>; <ToString exception: Trouble_29>;
    <ToString exception: Trouble_30>; <ToString exception: Trouble_31>;
    <ToString exception: Trouble_32>; <ToString exception: Trouble_33>;
    <ToString exception: Trouble_34>; <ToString exception: Trouble_35>;
    <ToString exception: Trouble_36>; <ToString exception: Trouble_37>;
    <ToString exception: Trouble_38>; <ToString exception: Trouble_39>;
    <ToString exception: Trouble_40>; <ToString exception: Trouble_41>;
    <ToString exception: Trouble_42>; <ToString exception: Trouble_43>;
    <ToString exception: Trouble_44>; <ToString exception: Trouble_45>;
    <ToString exception: Trouble_46>; <ToString exception: Trouble_47>;
    <ToString exception: Trouble_48>; <ToString exception: Trouble_49>;
    <ToString exception: Trouble_50>; <ToString exception: Trouble_51>;
    <ToString exception: Trouble_52>; <ToString exception: Trouble_53>;
    <ToString exception: Trouble_54>; <ToString exception: Trouble_55>;
    <ToString exception: Trouble_56>; <ToString exception: Trouble_57>;
    <ToString exception: Trouble_58>; <ToString exception: Trouble_59>;
    <ToString exception: Trouble_60>; <ToString exception: Trouble_61>;
    <ToString exception: Trouble_62>; <ToString exception: Trouble_63>;
    <ToString exception: Trouble_64>; <ToString exception: Trouble_65>;
    <ToString exception: Trouble_66>; <ToString exception: Trouble_67>;
    <ToString exception: Trouble_68>; <ToString exception: Trouble_69>;
    <ToString exception: Trouble_70>; <ToString exception: Trouble_71>;
    <ToString exception: Trouble_72>; <ToString exception: Trouble_73>;
    <ToString exception: Trouble_74>; <ToString exception: Trouble_75>;
    <ToString exception: Trouble_76>; <ToString exception: Trouble_77>;
    <ToString exception: Trouble_78>; <ToString exception: Trouble_79>;
    <ToString exception: Trouble_80>; <ToString exception: Trouble_81>;
    <ToString exception: Trouble_82>; <ToString exception: Trouble_83>;
    <ToString exception: Trouble_84>; <ToString exception: Trouble_85>;
    <ToString exception: Trouble_86>; <ToString exception: Trouble_87>;
    <ToString exception: Trouble_88>; <ToString exception: Trouble_89>;
    <ToString exception: Trouble_90>; <ToString exception: Trouble_91>;
    <ToString exception: Trouble_92>; <ToString exception: Trouble_93>;
    <ToString exception: Trouble_94>; <ToString exception: Trouble_95>;
    <ToString exception: Trouble_96>; <ToString exception: Trouble_97>;
    <ToString exception: Trouble_98>; <ToString exception: Trouble_99>; ...|]

> exception Abc

> exception AbcInt of int

> exception AbcString of string

> exception AbcExn of exn list

> exception AbcException of System.Exception list

> val exA1 : exn = Abc
val exA2 : exn = AbcInt 2
val exA3 : exn = AbcString "3"
val exA4 : exn = AbcExn [Abc; AbcInt 2; AbcString "3"]
val exA5 : exn = AbcException [AbcExn [Abc; AbcInt 2; AbcString "3"]]
exception Ex0
exception ExUnit of unit
exception ExUnits of unit * unit
exception ExUnitOption of unit option
val ex0 : exn = Ex0
val exU : exn = ExUnit ()
val exUs : exn = ExUnits ((),())
val exUSome : exn = ExUnitOption (Some ())
val exUNone : exn = ExUnitOption None
type 'a T4063 = | AT4063 of 'a

> val valAT3063_12 : int T4063 = AT4063 12

> val valAT3063_True : bool T4063 = AT4063 true

> val valAT3063_text : string T4063 = AT4063 "text"

> val valAT3063_null : System.Object T4063 = AT4063 null

> type M4063<'a> =
  class
    new : x:'a -> M4063<'a>
  end

> val v4063 : M4063<int>

> type Taaaaa<'a> =
  class
    new : unit -> Taaaaa<'a>
  end

> type Taaaaa2<'a> =
  class
    inherit Taaaaa<'a>
    new : unit -> Taaaaa2<'a>
    member M : unit -> Taaaaa2<'a>
  end

> type Tbbbbb<'a> =
  class
    new : x:'a -> Tbbbbb<'a>
    member M : unit -> 'a
  end

> type Tbbbbb2 =
  class
    inherit Tbbbbb<string>
    new : x:string -> Tbbbbb2
  end

> val it : (unit -> string) = <fun:it@198>

> module RepeatedModule = begin
  val repeatedByteLiteral : byte [] = [|12uy; 13uy; 14uy|]
end

> module RepeatedModule = begin
  val repeatedByteLiteral : byte [] = [|12uy; 13uy; 14uy|]
end

> val it : string = "Check #help"

> 
  F# Interactive directives:

    #r "file.dll";;        Reference (dynamically load) the given DLL
    #I "path";;            Add the given search path for referenced DLLs
    #load "file.fs" ...;;  Load the given file(s) as if compiled and referenced
    #time ["on"|"off"];;   Toggle timing on/off
    #help;;                Display help
    #quit;;                Exit

  F# Interactive command line options:



> val it : string = "Check #time on and then off"

> 
--> Timing now on

> 
--> Timing now off

> val it : string = "Check #unknown command"

> Invalid directive '#blaaaaaa '
> val it : string =
  "Check #I with a known directory (to avoid a warning, which includes the location of this file, which is fragile...)"

> 
--> Added '/' to library include path

> type internal T1 =
  | A
  | B

> type internal T2 =
  {x: int;}

> type internal T3

> type internal T4 =
  class
    new : unit -> T4
  end

> type T1 =
  internal | A
           | B

> type T2 =
  internal {x: int;}

> type private T1 =
  | A
  | B

> type private T2 =
  {x: int;}

> type T1 =
  private | A
          | B

> type T2 =
  private {x: int;}

> type internal T1 =
  private | A
          | B

> type internal T2 =
  private {x: int;}

> type private T3

> type private T4 =
  class
    new : unit -> T4
  end

> exception X1 of int

> exception private X2 of int

> exception internal X3 of int

> type T0 =
  class
    new : unit -> T0
  end
type T1Post<'a> =
  class
    new : unit -> T1Post<'a>
  end
type 'a T1Pre =
  class
    new : unit -> 'a T1Pre
  end

> type T0 with
  member M : unit -> T0 list
type T0 with
  member P : T0 * T0
type T0 with
  member E : IEvent<int>

> type T1Post<'a> with
  member M : unit -> T1Post<'a> list
type T1Post<'a> with
  member P : T1Post<'a> * T1Post<'a>
type T1Post<'a> with
  member E : IEvent<obj>

> type 'a T1Pre with
  member M : unit -> 'a T1Pre list
type 'a T1Pre with
  member P : 'a T1Pre * 'a T1Pre
type 'a T1Pre with
  member E : IEvent<obj>

> type T1Post<'a> with
  member M : unit -> T1Post<'a> list
type T1Post<'a> with
  member P : T1Post<'a> * T1Post<'a>
type T1Post<'a> with
  member E : IEvent<obj>

> type 'a T1Pre with
  member M : unit -> 'a T1Pre list
type 'a T1Pre with
  member P : 'a T1Pre * 'a T1Pre
type 'a T1Pre with
  member E : IEvent<obj>

> type r =
  {f0: int;
   f1: int;
   f2: int;
   f3: int;
   f4: int;
   f5: int;
   f6: int;
   f7: int;
   f8: int;
   f9: int;}
val r10 : r = {f0 = 0;
               f1 = 1;
               f2 = 2;
               f3 = 3;
               f4 = 4;
               f5 = 5;
               f6 = 6;
               f7 = 7;
               f8 = 8;
               f9 = 9;}
val r10s : r [] =
  [|{f0 = 0;
     f1 = 1;
     f2 = 2;
     f3 = 3;
     f4 = 4;
     f5 = 5;
     f6 = 6;
     f7 = 7;
     f8 = 8;
     f9 = 9;}; {f0 = 0;
                f1 = 1;
                f2 = 2;
                f3 = 3;
                f4 = 4;
                f5 = 5;
                f6 = 6;
                f7 = 7;
                f8 = 8;
                f9 = 9;}; {f0 = 0;
                           f1 = 1;
                           f2 = 2;
                           f3 = 3;
                           f4 = 4;
                           f5 = 5;
                           f6 = 6;
                           f7 = 7;
                           f8 = 8;
                           f9 = 9;}; {f0 = 0;
                                      f1 = 1;
                                      f2 = 2;
                                      f3 = 3;
                                      f4 = 4;
                                      f5 = 5;
                                      f6 = 6;
                                      f7 = 7;
                                      f8 = 8;
                                      f9 = 9;}; {f0 = 0;
                                                 f1 = 1;
                                                 f2 = 2;
                                                 f3 = 3;
                                                 f4 = 4;
                                                 f5 = 5;
                                                 f6 = 6;
                                                 f7 = 7;
                                                 f8 = 8;
                                                 f9 = 9;}; ...|]
val r10s' : string * r [] =
  ("one extra node",
   [|{f0 = 0;
      f1 = 1;
      f2 = 2;
      f3 = 3;
      f4 = 4;
      f5 = 5;
      f6 = 6;
      f7 = 7;
      f8 = 8;
      f9 = 9;}; {f0 = 0;
                 f1 = 1;
                 f2 = 2;
                 f3 = 3;
                 f4 = 4;
                 f5 = 5;
                 f6 = 6;
                 f7 = 7;
                 f8 = 8;
                 f9 = 9;}; {f0 = 0;
                            f1 = 1;
                            f2 = 2;
                            f3 = 3;
                            f4 = 4;
                            f5 = 5;
                            f6 = 6;
                            f7 = 7;
                            f8 = 8;
                            f9 = 9;}; {f0 = 0;
                                       f1 = 1;
                                       f2 = 2;
                                       f3 = 3;
                                       f4 = 4;
                                       f5 = 5;
                                       f6 = 6;
                                       f7 = 7;
                                       f8 = 8;
                                       f9 = 9;}; {f0 = 0;
                                                  f1 = 1;
                                                  f2 = 2;
                                                  f3 = 3;
                                                  f4 = 4;
                                                  f5 = 5;
                                                  f6 = 6;
                                                  f7 = 7;
                                                  f8 = 8;
                                                  f9 = ...;}; ...|])

> val x1564_A1 : int = 1


--> Added '\' to library include path

val x1564_A2 : int = 2


--> Added '\' to library include path

val x1564_A3 : int = 3

> type internal Foo2 =
  class
    new : unit -> Foo2
    new : x:int -> Foo2
    new : x:int * y:int -> Foo2
    private new : x:int * y:int * z:int -> Foo2
    member Prop1 : int
    member Prop2 : int
    member private Prop3 : int
  end

> module internal InternalM = begin
  val x : int = 1
  type Foo2 =
    class
      new : unit -> Foo2
      new : x:int -> Foo2
      new : x:int * y:int -> Foo2
      private new : x:int * y:int * z:int -> Foo2
      member Prop1 : int
      member Prop2 : int
      member private Prop3 : int
    end
  type private Foo3 =
    class
      new : unit -> Foo3
      new : x:int -> Foo3
      new : x:int * y:int -> Foo3
      new : x:int * y:int * z:int -> Foo3
      member Prop1 : int
      member Prop2 : int
      member Prop3 : int
    end
  type T1 =
    | A
    | B
  type T2 =
    {x: int;}
  type T3
  type T4 =
    class
      new : unit -> T4
    end
  type T5 =
    | A
    | B
  type T6 =
    {x: int;}
  type private T7 =
    | A
    | B
  type private T8 =
    {x: int;}
  type T9 =
    private | A
            | B
  type T10 =
    private {x: int;}
  type T11 =
    private | A
            | B
  type T12 =
    private {x: int;}
  type private T13
  type private T14 =
    class
      new : unit -> T14
    end
end
module internal PrivateM = begin
  val private x : int = 1
  type private Foo2 =
    class
      new : unit -> Foo2
      new : x:int -> Foo2
      new : x:int * y:int -> Foo2
      new : x:int * y:int * z:int -> Foo2
      member Prop1 : int
      member Prop2 : int
      member Prop3 : int
    end
  type T1 =
    | A
    | B
  type T2 =
    {x: int;}
  type T3
  type T4 =
    class
      new : unit -> T4
    end
  type T5 =
    | A
    | B
  type T6 =
    {x: int;}
  type private T7 =
    | A
    | B
  type private T8 =
    {x: int;}
  type T9 =
    private | A
            | B
  type T10 =
    private {x: int;}
  type T11 =
    private | A
            | B
  type T12 =
    private {x: int;}
  type private T13
  type private T14 =
    class
      new : unit -> T14
    end
end

> val it : seq<int * string * int> =
  seq
    [(43, "10/28/2008", 1); (46, "11/18/2008", 1); (56, "1/27/2009", 2);
     (58, "2/10/2009", 1)]

> module Test4343a = begin
  val mk : i:int -> string
  val x100 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[39 chars]
  val x90 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[29 chars]
  val x80 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[19 chars]
  val x75 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[14 chars]
  val x74 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[13 chars]
  val x73 : string =
    "0123456789012345678901234567890123456789012345678901234567890"+[12 chars]
  val x72 : string =
    "012345678901234567890123456789012345678901234567890123456789012345678901"
  val x71 : string =
    "01234567890123456789012345678901234567890123456789012345678901234567890"
  val x70 : string =
    "0123456789012345678901234567890123456789012345678901234567890123456789"
end
module Test4343b = begin
  val fA : x:int -> int
  val fB : x:'a -> y:'a -> 'a list
  val gA : (int -> int)
  val gB : ('a -> 'a -> 'a list)
  val gAB : (int -> int) * ('a -> 'a -> 'a list)
  val hB : ('a -> 'a -> 'a list)
  val hA : (int -> int)
end
module Test4343c = begin
  val typename<'a> : string
  val typename2<'a> : string * string
end
module Test4343d = begin
  val xList : int list = [1; 2; 3]
  val xArray : int [] = [|1; 2; 3|]
  val xString : string = "abcdef"
  val xOption : int option = Some 12
  val xArray2 : (int * int) [,] = [[(0, 0); (0, 1)]
                                   [(1, 0); (1, 1)]]
  val xSeq : seq<int>
end
module Test4343e = begin
  type C =
    class
      new : x:int -> C
    end
  val cA : C
  val cB : C
  val cAB : C * C * C list =
    (FSI_0091+Test4343e+C, FSI_0091+Test4343e+C,
     [FSI_0091+Test4343e+C; FSI_0091+Test4343e+C])
  type D =
    class
      new : x:int -> D
      override ToString : unit -> string
    end
  val dA : D = D(1)
  val dB : D = D(2)
  val dAB : D * D * D list = (D(1), D(2), [D(1); D(2)])
  module Generic = begin
    type CGeneric<'a> =
      class
        new : x:'a -> CGeneric<'a>
      end
    val cA : C
    val cB : C
    val cAB : C * C * C list =
      (FSI_0091+Test4343e+C, FSI_0091+Test4343e+C,
       [FSI_0091+Test4343e+C; FSI_0091+Test4343e+C])
    type D<'a> =
      class
        new : x:'a -> D<'a>
        override ToString : unit -> string
      end
    val dA : D<int> = D(1)
    val dB : D<int> = D(2)
    val dAB : D<int> * D<int> * D<int> list = (D(1), D(2), [D(1); D(2)])
    val dC : D<bool> = D(True)
    val boxed_dABC : obj list = [D(1); D(2); D(True)]
  end
end
type F1 =
  class
    inherit System.Windows.Forms.Form
    interface System.IDisposable
    val x: F1
    val x2: F1
    abstract member MMM : bool -> bool
    abstract member AAA : int
    abstract member ZZZ : int
    abstract member BBB : bool with set
    member B : unit -> int
    member D : unit -> int
    member D : x:int -> int
    member D : x:int * y:int -> int
    override ToString : unit -> string
    member D2 : int
    member E : int
    member D2 : int with set
    member E : int with set
    static val mutable private sx: F1
    static val mutable private sx2: F1
    static member A : unit -> int
    static member C : unit -> int
  end
type IP =
  struct
    new : x:int * y:int -> IP
    static val mutable private AA: IP
  end
module Regression4643 = begin
  type RIP =
    struct
      new : x:int -> RIP
      static val mutable private y: RIP
    end
  type arg_unused_is_RIP =
    struct
      new : x:RIP -> arg_unused_is_RIP
    end
  type arg_used_is_RIP =
    struct
      new : x:RIP -> arg_used_is_RIP
      member X : RIP
    end
  type field_is_RIP =
    struct
      val x: RIP
    end
end
type Either<'a,'b> =
  | This of 'a
  | That of 'b
val catch : f:(unit -> 'a) -> Either<'a,(string * string)>
val seqFindIndexFailure : Either<int,(string * string)> =
  That
    ("System.Collections.Generic.KeyNotFoundException",
     "An index satisfying the predicate was not found in the collection.")
val seqFindFailure : Either<int,(string * string)> =
  That
    ("System.Collections.Generic.KeyNotFoundException",
     "An index satisfying the predicate was not found in the collection.")
val seqPickFailure : Either<int,(string * string)> =
  That
    ("System.Collections.Generic.KeyNotFoundException",
     "An index satisfying the predicate was not found in the collection.")
module Regression5218 = begin
  val t1 : int = 1
  val t2 : int * int = (1, 2)
  val t3 : int * int * int = (1, 2, 3)
  val t4 : int * int * int * int = (1, 2, 3, 4)
  val t5 : int * int * int * int * int = (1, 2, 3, 4, 5)
  val t6 : int * int * int * int * int * int = (1, 2, 3, 4, 5, 6)
  val t7 : int * int * int * int * int * int * int = (1, 2, 3, 4, 5, 6, 7)
  val t8 : int * int * int * int * int * int * int * int =
    (1, 2, 3, 4, 5, 6, 7, 8)
  val t9 : int * int * int * int * int * int * int * int * int =
    (1, 2, 3, 4, 5, 6, 7, 8, 9)
  val t10 : int * int * int * int * int * int * int * int * int * int =
    (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
  val t11 : int * int * int * int * int * int * int * int * int * int * int =
    (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
  val t12 :
    int * int * int * int * int * int * int * int * int * int * int * int =
    (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
  val t13 :
    int * int * int * int * int * int * int * int * int * int * int * int *
    int = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
  val t14 :
    int * int * int * int * int * int * int * int * int * int * int * int *
    int * int = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
  val t15 :
    int * int * int * int * int * int * int * int * int * int * int * int *
    int * int * int = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15)
end

> module Regression3739 = begin
  type IB =
    interface
      abstract member AbstractMember : int -> int
    end
  type C<'a when 'a :> IB> =
    class
      new : unit -> C<'a>
      static member StaticMember : x:'a -> int
    end
end

> module Regression3739 = begin
  type IB =
    interface
      abstract member AbstractMember : int -> int
    end
  type C<'a when 'a :> IB> =
    class
      new : unit -> C<'a>
      static member StaticMember : x:'a -> int
    end
end

> module Regression3740 = begin
  type Writer<'a> =
    interface
      abstract member get_path : unit -> string
    end
  type MyClass =
    class
      interface Writer<int>
      val path: string
    end
end

> type Regression4319_T2 =
  class
    static member ( +-+-+ ) : x:'a * y:'b -> string
  end

> type Regression4319_T0 =
  class
    static member ( +-+-+ ) : string
  end

> type Regression4319_T1 =
  class
    static member ( +-+-+ ) : x:'a -> string
  end

> type Regression4319_T1b =
  class
    static member ( +-+-+ ) : x:'a -> string
  end

> type Regression4319_T1c =
  class
    static member ( +-+-+ ) : x:('a * 'b) -> string
  end

> type Regression4319_T1d =
  class
    static member ( +-+-+ ) : x:(int * int) -> string
  end

> type Regression4319_T3 =
  class
    static member ( +-+-+ ) : x:'a * y:'b * z:'c -> string
  end

> type Regression4319_U1 =
  class
    static member ( +-+-+ ) : x:'a -> moreArgs:'b -> string
  end

> type Regression4319_U1b =
  class
    static member ( +-+-+ ) : x:'a -> moreArgs:'b -> string
  end

> type Regression4319_U2 =
  class
    static member ( +-+-+ ) : x:'a * y:'b -> moreArgs:'c -> string
  end

> type Regression4319_U3 =
  class
    static member ( +-+-+ ) : x:'a * y:'b * z:'c -> moreArgs:'d -> string
  end

> type Regression4319_check =
  class
    static member ( & ) : string
    static member ( &^ ) : string
    static member ( @ ) : string
    static member ( != ) : string
    static member ( := ) : string
    static member ( ^ ) : string
    static member ( / ) : string
    static member ( $ ) : string
    static member ( ...@ ) : string
    static member ( ...!= ) : string
    static member ( .../ ) : string
    static member ( ...= ) : string
    static member ( ...> ) : string
    static member ( ...^ ) : string
    static member ( ...< ) : string
    static member ( ...* ) : string
    static member ( ...% ) : string
    static member ( = ) : string
    static member ( ** ) : string
    static member ( > ) : string
    static member ( < ) : string
    static member ( % ) : string
    static member ( * ) : string
    static member ( - ) : string
  end

> Expect ABC = ABC
type Regression4469 =
  class
    new : unit -> Regression4469
    member ToString : unit -> string
  end
val r4469 : Regression4469 = FSI_0107+Regression4469
val it : unit = ()

> Expect ABC = ABC
val it : unit = ()

> module Regression1019_short = begin
  val double_nan : float = nan
  val double_infinity : float = infinity
  val single_nan : float32 = nanf
  val single_infinity : float32 = infinityf
end
module Regression1019_long = begin
  val double_nan : float = nan
  val double_infinity : float = infinity
  val single_nan : float32 = nanf
  val single_infinity : float32 = infinityf
end

> val it : int ref = {contents = 1;}

> val x : int ref = {contents = 1;}
val f : (unit -> int)

> val it : int = 1

> val it : unit = ()

> val it : int = 3

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : int [] =
  [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0;
    ...|]

> val it : 'a list

> val it : 'a list list

> val it : 'a option

> val it : 'a list * 'b list

> val it : x:'a -> 'a

> val fff : x:'a -> 'a

> val it : ('a -> 'a)

> val note_ExpectDupMethod : string =
  "Regression4927: Expect error due to duplicate methods in the "+[20 chars]

> > val note_ExpectDupProperty : string =
  "Regression4927: Expect error due to duplicate properties in t"+[23 chars]

> > > val it : string = "NOTE: Expect IAPrivate less accessible IBPublic"

> > val it : string = "NOTE: Expect IAPrivate less accessible IBInternal"

> > module Regression5265_PriPri = begin
  type private IAPrivate =
    interface
      abstract member P : int
    end
  type private IBPrivate =
    interface
      inherit IAPrivate
      abstract member Q : int
    end
end

> val it : string = "NOTE: Expect IAInternal less accessible IBPublic"

> > module Regression5265_IntInt = begin
  type internal IAInternal =
    interface
      abstract member P : int
    end
  type internal IBInternal =
    interface
      inherit IAInternal
      abstract member Q : int
    end
end

> module Regression5265_IntPri = begin
  type internal IAInternal =
    interface
      abstract member P : int
    end
  type private IBPrivate =
    interface
      inherit IAInternal
      abstract member Q : int
    end
end

> module Regression5265_PubPub = begin
  type IAPublic =
    interface
      abstract member P : int
    end
  type IBPublic =
    interface
      inherit IAPublic
      abstract member Q : int
    end
end

> module Regression5265_PubInt = begin
  type IAPublic =
    interface
      abstract member P : int
    end
  type internal IBInternal =
    interface
      inherit IAPublic
      abstract member Q : int
    end
end

> module Regression5265_PubPri = begin
  type IAPublic =
    interface
      abstract member P : int
    end
  type private IBPrivate =
    interface
      inherit IAPublic
      abstract member Q : int
    end
end

> val it : string =
  "Regression4232: Expect an error about duplicate virtual methods from parent type"

> > val it : string =
  "** Expect AnAxHostSubClass to be accepted. AxHost has a newslot virtual RightToLeft property outscope RightToLeft on Control"

> type AnAxHostSubClass =
  class
    inherit System.Windows.Forms.AxHost
    new : x:string -> AnAxHostSubClass
  end

> val it : string =
  "** Expect error because the active pattern result contains free type variables"

> > val it : string =
  "** Expect error because the active pattern result contains free type variables (match value generic)"

> > val it : string =
  "** Expect error because the active pattern result contains free type variables (when active pattern also has parameters)"

> > val it : string =
  "** Expect OK, since error message says constraint should work!"

> val ( |A|B| ) : x:int -> Choice<int,unit>

> val it : string = "** Expect error since active pattern is not a function!"

> > val it : string =
  "** Expect OK since active pattern result is not too generic, typars depend on match val"

> val ( |A|B| ) : p:bool -> 'a * 'b -> Choice<'a,'b>

> val it : string =
  "** Expect OK since active pattern result is not too generic, typars depend on parameters"

> val ( |A|B| ) : aval:'a -> bval:'b -> x:bool -> Choice<'a,'b>

> val it : string =
  "** Expect OK since active pattern result is generic, but it typar from closure, so OK"

> val outer : x:'a -> (int -> 'a option)

> val it : string =
  "** Expect OK, BUG 472278: revert unintended breaking change to Active Patterns in F# 3.0"

> val ( |Check1| ) : a:int -> int * 'a option

> > module ReflectionEmit = begin
  type IA =
    interface
      abstract member M : #IB -> int
    end
  and IB =
    interface
      abstract member M : #IA -> int
    end
  type IA2<'a when 'a :> IB2<'a> and 'a :> IA2<'a>> =
    interface
      abstract member M : int
    end
  and IB2<'b when 'b :> IA2<'b> and 'b :> IB2<'b>> =
    interface
      abstract member M : int
    end
end

> val it : string =
  "Regression_139182: Expect the follow code to be accepted without error"

> type S =
  struct
    member TheMethod : unit -> int64
  end
val theMethod : s:S -> int64
type T =
  class
    new : unit -> T
    member Prop5 : int64
    static member Prop1 : int64
    static member Prop2 : int64
    static member Prop3 : int64
    static member Prop4 : string
  end

> val it : System.Threading.ThreadLocal<int> list = [0 {IsValueCreated = false;
                                                      Values = ?;}]

> type MyDU =
  | Case1 of Val1: int * Val2: string
  | Case2 of string * V2: bool * float
  | Case3 of int
  | Case4 of Item1: bool
  | Case5 of bool * string
  | Case6 of Val1: int * bool * string
  | Case7 of Big Name: int
val namedFieldVar1 : MyDU = Case1 (5,"")
val namedFieldVar2 : MyDU = Case7 25

> exception MyNamedException1 of Val1: int * Val2: string
exception MyNamedException2 of string * V2: bool * float
exception MyNamedException3 of Data: int
exception MyNamedException4 of bool
exception MyNamedException5 of int * string
exception MyNamedException6 of Val1: int * bool * string * Data8: float
exception MyNamedException7 of Big Named Field: int
val namedEx1 : exn = MyNamedException1 (5,"")
val namedEx2 : exn = MyNamedException7 25

> type optionRecord =
  {x: int option;}
val x : optionRecord = {x = None;}

> type optionRecord =
  {x: obj;}
val x : optionRecord = {x = null;}

> > > 
